Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
501	I944Î BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:40:41 Lambda calculus Theory of computation Computability theory Logic in computer science Mathematical logic Combinatory logic Function Well-formed formula Gödel numbering Mathematics Theoretical computer science Logic
502	To appear in “Church’s Thesis after 70 Years” ed. A. Olszewski, Logos Verlag, Berlin, [removed]Church’s Thesis Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-11 14:08:31 Computer science Computability theory Theory of computation Logic in computer science Combinatory logic Fixed-point combinator Curry–Howard correspondence Computability Church encoding Theoretical computer science Mathematics Lambda calculus
503	Infinite sets that admit fast exhaustive search Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-03-27 09:33:39 Theoretical computer science Models of computation Lambda calculus Symbol Function Curry–Howard correspondence Fast-growing hierarchy Mathematics Mathematical logic Computability theory
504	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
505	MFPS XX1 Preliminary Version First Steps in Synthetic Computability Theory Add to Reading List Source URL: math.andrej.com Language: English - Date: 2010-10-25 00:29:28 Computability theory Model theory Functions and mappings Theory of computation Models of computation Function Interpretation First-order logic Constructivism Mathematical logic Mathematics Logic
506	Propositions as Sessions Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-08-31 07:10:39 Theoretical computer science Proof theory Predicate logic Computability theory Models of computation Π-calculus Function Natural deduction Generalization Mathematics Mathematical logic Logic
507	Int. J. Open Problems Compt. Math., Vol. 5, No. 2, June 2012 ISSN[removed]; Copyright c ICSRS Publication, 2012 www.i-csrs.org Add to Reading List Source URL: www.i-csrs.org Language: English Mathematical logic Bijection Injective function Power set Equivalence relation Sheaf Computability theory Mathematics Functions and mappings Mathematical analysis
508	The Four Sons of Penrose Nachum Dershowitz⋆ School of Computer Science Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-10-03 10:06:46 Theoretical computer science Computability theory Functions and mappings Halting problem Closed and exact differential forms Function Algorithm Hypercomputation Echo answer Mathematics Theory of computation Mathematical logic
509	Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-19 21:35:38 Formal methods Programming idioms Computability theory Mathematical logic Formal verification ACL2 Recursion Correctness Isabelle Theoretical computer science Applied mathematics Computer programming
510	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-03-29 15:27:54 Theoretical computer science Mathematical logic Computable function Church–Turing thesis Function Algorithm Recursion Stephen Cole Kleene Computability Computability theory Mathematics Theory of computation

UPDATE